Atomic Cross-chain Swap
Symmetric Cryptograhic-lock-based
Maurice Herlihy (Brown University)
PODC'18
Multi-party cross-chain swap
Bennink, Peter Gijtenbeek, Lennart van (University of Amsterdam) et al.
Specification of atomic swap in Ethereum, with only rough security analysis
Ethan Heilman (Boston University/Arwen), Sebastien Lipmann (Arwen), Sharon Goldberg (Boston University/Arwen)
FC'20
Background: Trading on blockchains
On-chain trading: High latency, front-running
Atomic swap (TierNolan): asset lockup griefing, free option (American call option)
Contribution: Propose atomic-swap-based trading protocol between a user and a centralized exchange
Disincentivize Lockup griefing (by a user): The user pay an escrow fee. The user receives a rebate of a portion of the escrow fee if she closes the exchange escrow cooperatively, before it expires.
Overcome free option: RFQs (Request For Quote), the exchange’s quote includes a spread around the current price compensating the exchange for price movements after the quote is given.
James A. Liu (University of California, Irvine)
Giulio Malavolta (Friedrich-Alexander University Erlangen-Nürnberg), Pedro Moreno Sanchez (TU Wien), Clara Schneidewind (TU Wien), Aniket Kate (Purdue University), Matteo Maffei (TU Wien)
Anonymous Multi-Hop Locks based on scriptless Scripts, not HTLC applicable for inter-chain payment channel
From Develop with pleasure! (Japanese)
Adaptor signature
WTSC'20
SAS: Succinct Atomic Swap
RubenSomsen
Victor Zakhary, Divyakant Agrawal, Amr El Abbadi (UC Santa Barbara)
An intermediary chain called witness chain decideds whether commit or abort
nrryuya.icon > Why this is needed?
Atomicity guarantee without synchrony assumption
Relaying PoW chain in an optimistic way similar to Summa (only checks the depth of the block)
Maurice Herlihy (Brown University), Barbara Liskov (MIT) and Liuba Shrira (Brandeis University)
Video about the correctness conditions Define the Cross-chain deal; generalization of the cross-chain swap (e.g. Conditional swap)
Refine the "all or nothing" property considering the incentive
Describe two protocols for implementing cross- chain deals
1. A synchronous timelock protocol
"Escalated" timelock, commit by unanimous consensus
2. A semi-synchronous protocol with an intermediary chain called certified blockchain
"Free option" Problem
Explaination
HTLCs Considered Harmful Slide Video by Dan Robinson Runchao Han, Haoyu Lin, Jiangshan Yu (Monash University)
Atomic Swap is equivalent to the premium-free American Call Option
Describe the unfairness of the Atomic Swap, and compare it with that of conventional financial assets
The estimated premium is 2%∼3% based on Cox-Ross-Rubinstein option pricing model
Improve the Atomic Swap to make it fair
1. Currency exchange-style Atomic Swap: The premium will go back to the swap initiator if the swap is successful
2. American Call Option-style Atomic Swap: The premium will go to the swap participant if the participant participates in the swap.
Formal Verification
Yoichi Hirai
Use intuitionistic epistemic logic for reasoning about the cross-chain atomic swap
Treat blockchains as agents
Specifying hashlocks with logical formulas, desired atomicity of cross-chain atomic swaps as logical formulas (Binary-Outcome and Weak-Binary-Outcome)
Proofs are directly reasoning about Kripke models and no deduction systems are used
Identifying one set of assumptions on the actions and their timings that is enough for atomicity
Players' strategies are missing
Ron van der Meyden (UNSW)
Model checking of on-chain/cross-chain atomic swap with MCK Assume two chains are synchronoized and model this by round robin scheduling of turns
Related
Fair exchange
Special case of secure computation
Stefan Dziembowski, Lisa Eckey (University of Warsaw) and Sebastian Faust (TU Darmstadt)
Aggelos Kiayias, Hong-Sheng Zhou, Vassilis Zikas
History
Based on FLP
Atomic Swap in a single chain
Swap Issued Assets on the Liquid Network using Confidential Transactions